Symbolic execution for BIOS security1 Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer2 Intel Corporation May 25, 2015 Abstract We are building a tool that uses symbolic execution to

Source URL: www.markrtuttle.com

The School Food Plan by Henry Dimbleby & John Vincent

Source URL: www.schoolfoodplan.com

Who am I: Vincent Pieribone Director and Fellow, The John B. Pierce Laboratory, Inc. Professor, Cellular and Molecular Physiology, Yale University School of Medicine

Source URL: oeab.noaa.gov

Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UK

Source URL: www0.cs.ucl.ac.uk

• Abstract interpretation
• Models of computation
• Parallel computing
• Petri net
• Software engineering
• Computing

A Fishy Business: Transport Amphorae of the Black Sea Region as a Source for the Trade in Fish and Fish Products in the Classical and Hellenistic Periods John Lund and Vincent Gabrielsen

Source URL: www.pontos.dk

• Food and drink
• Ancient Greek cuisine
• Ancient Roman pottery
• Ancient Greek pottery
• Amphora
• Bottles
• Pottery
• Chian wine
• Garum
• Robert Ballard
• Nolan amphora

Symbolic execution for BIOS security1 Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer2 Intel Corporation May 25, 2015 Abstract We are building a tool that uses symbolic execution to

Source URL: www.usenix.org

• Software
• Computing
• System software
• Boot loaders
• BIOS
• Rootkits
• System Management Mode
• Concolic testing
• Symbolic execution
• Unified Extensible Firmware Interface
• QEMU
• Software testing

PUBLISHED UNITED STATES COURT OF APPEALS FOR THE FOURTH CIRCUIT KELLY BROUSSARD; JIM STEPHENS; MARK ZUCKERMAN; ARNOLD FISCHTHAL; JOHN HAGAR; VINCENT MATERA; DENIS

Source URL: www.carolinasclassaction.com

• Distribution
• Marketing
• Franchises
• Contract law
• Franchising
• Franchise disclosure document
• GKN
• Burger King
• Blimpie
• Meineke Car Care Center

Using Crowbar to Deploy Your OpenStack Cloud Adam Spiers Vincent Untz John H Terpstra

Source URL: www.suse.com

• Cloud infrastructure
• OpenStack
• Cloud computing
• Virtual appliance
• Provisioning
• Virtualization
• IBM cloud computing
• CELAR

Haptic Rendering of Tool Contact Mohsen Mahvash1, Vincent Hayward2 and John Lloyd3 1 2 Center For Intelligent Machines McGill University, Montr´eal, Qu´ebec, H3A 2A7 Canada

Source URL: www.eurohaptics.vision.ee.ethz.ch

Supporting Stakeholders in the MDA Process Keith Phalp, Sheridan Jeary, Jonathan Vincent, John Mathenge Kanyaru, & Simon Crowle Software Systems Modelling Group, Bournemouth University, Poole, Dorset. BH12 5BB

Source URL: vide.tnmsoft.de

• Software engineering
• Unified Modeling Language
• Systems engineering
• Computing
• Engineering
• Model-driven architecture
• Objecteering
• Business requirements
• Platform-specific model
• Object Process Methodology
• Business analyst
• Enterprise Architect